Non-blocking algorithm - PDFSEARCH.IO - Document Search Engine

Non-blocking algorithm
Results: 218

#	Item
31	Technical Report UCAM-CL-TR-579 ISSNNumber 579 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-02-13 14:20:06 Concurrency control Computing Data management Computer architecture Non-blocking algorithm Lock Mutual exclusion Linearizability Readerswriter lock Synchronization Software transactional memory Memory barrier
32	CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 0000; 00:1–21 Published online in Wiley InterScience (www.interscience.wiley.com). DOI: cpe Testing for Linearizability Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2016-04-12 11:54:47 Concurrency control Transaction processing Abstract data types Linearizability Queue Schedule Double-ended queue Algorithm Graph traversal Continuation Non-blocking algorithm
33	Preprint – March 28, 2013 Quantitative Reasoning for Proving Lock-Freedom Jan Hoffmann Michael Marmar Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2013-03-28 17:48:03 Concurrency control Computing Computer programming Concurrent computing Non-blocking algorithm Hazard pointer Mutual exclusion Lock Concurrent data structure Synchronization Compare-and-swap Linearizability
34	An Almost NonBlocking Stack Hans-J. Boehm HP Labs © 2004 Hewlett-Packard Development Company, L.P. The information contained herein is subject to change without notice Add to Reading List Source URL: www.hboehm.info Language: English Concurrency control Hazard pointer Mutual exclusion Non-blocking algorithm Thread Unix signal Pointer ABA problem X86-64 Stack X86 C dynamic memory allocation
35	Logical Relations for Fine-Grained Concurrency Aaron Turon Jacob Thamsborg Amal Ahmed Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-11-10 09:59:34 Computer programming Software engineering Concurrency control Computing Recursion Spinlock Compare-and-swap Synchronization Thread Null Non-blocking algorithm Lock
36	Characterizing Progress Properties of Concurrent Objects via Contextual Refinements Hongjin Liang1,2 , Jan Hoffmann2 , Xinyu Feng1 , and Zhong Shao2 1 University of Science and Technology of China Add to Reading List Source URL: flint.cs.yale.edu Language: English - Date: 2013-07-18 23:10:16 Concurrency control Linearizability Non-blocking algorithm Monitor Lock Deadlock Synchronization Thread Liveness
37	Mechanized Verification of   Fine-grained Concurrent Programs memoria software v3.qxd Ilya Sergey Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Computing Software Concurrency control Separation logic Lock Concurrency Non-blocking algorithm Concurrent computing Parallel computing Linearizability Go
38	Kicking the Tires of Software Transactional Memory: Why the Going Gets Tough Richard M. Yoo† Bratin Saha‡ Add to Reading List Source URL: www.adamwelc.org Language: English - Date: 2008-08-19 15:01:33 Concurrency control Transaction processing Software transactional memory Transactional memory Lock Linearizability Parallel computing Monitor Non-blocking algorithm
39	Preemption-Based Avoidance of Priority Inversion for Java Adam Welc Antony L. Hosking Suresh Jagannathan Add to Reading List Source URL: www.adamwelc.org Language: English - Date: 2007-07-31 20:51:30 Computing Concurrency control Software engineering Software Synchronization Monitor Thread Lock Software transactional memory Mutual exclusion Non-blocking algorithm Scheduling
40	Optimistic Transactional Boosting Ahmed Hassan Roberto Palmieri Binoy Ravindran Add to Reading List Source URL: www.hyflow.org Language: English - Date: 2014-07-30 14:40:19 Concurrency control Transaction processing Data management Software transactional memory Transactional memory Lock Optimistic concurrency control Non-blocking algorithm Data Parallel computing Isolation Concurrent data structure